@manual{ocaml:manual,
  author = {Xavier Leroy and Damien Doligez and Jacques Garrigue and Didier R{\'e}my and J{\'e}r{\^o}me Vouillon},
  title = {The {O}bjective {C}aml system},
  year = {2007},
  note = {release 3.10}
}
%  organization = {Institut National de Recherche en Informatique et en Automatique},

@inproceedings{ schrijvers07:typefun,
    author = {Tom Schrijvers and Martin Sulzmann and Simon Peyton{-}Jones and Manuel 
Chakravarty},
    title = "Towards Open Type Functions for {H}askell",
    booktitle = "Proc. of IFL 2007",
    year = "2007"
}
@unpublished{moors07:tcpoly,
  author = {Adriaan Moors and Frank Piessens and Martin Odersky},
  title = {Towards Equal Rights for Higher-Kinded Types},
  note = {Accepted for the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages at the European Conference on Object-Oriented Programming (ECOOP)},
  year = 2007,
}
@InProceedings{ott-sub,
  author =       {Peter Sewell and Zappa Nardelli, Francesco  and Scott Owens and Gilles Peskine and Thomas Ridge and Susmit Sarkar and Rok Strni\v sa},
  title =        {{Ott}: Effective Tool Support for the Working Semanticist},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle =    {Proceedings of ICFP 2007:  {the 12th ACM SIGPLAN International Conference on Functional Programming (Freiburg)}},
  optpages =        {12pp},
  note =        {12pp},
  year =         {2007},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  month =        oct,
  OPTorganization = {},
  OPTpublisher = {},
  optnote =         {To appear},
  OPTannote =    {}
}
@BOOK{ pierce02:tapl,
  AUTHOR    = {Benjamin C. Pierce},
  TITLE     = {{Types and Programming Languages}},
  PUBLISHER = {MIT Press},
  YEAR      = 2002,
  ISBN      = {0-262-16209-1},
  }

@inproceedings{meijer07:confessions,
 author = {Erik Meijer},
 title = {Confessions of a Used Programming Language Salesman\\
Getting the Masses Hooked on {H}askell},
 booktitle = {OOPSLA 2007: Proceedings of the 22nd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications},
 year = {2007},
 isbn = {1-59593-786-5},
 location = {Montréal, Québec, Canada},
 doi = {},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }
 
@Misc{girard:thesis,
  author = 	 {J.Y. Girard},
  title = 	 {Interpretation fonctionelle et elimination des coupures
                  de l'arithmetique d'ordre superieur},
  howpublished = {These d'Etat, Paris VII},
  year =	 1972
}

@PhdThesis{ernst99b,
    author =     {Erik Ernst},
    title =      {gbeta  -- a Language with Virtual Attributes, Block 
                  Structure, and Propagating, Dynamic Inheritance}, 
    school =     {Department of Computer Science, University of Aarhus, 
                  \AA{}rhus, Denmark},
    year =       {1999},
}

@inproceedings{citeulike:975433,
	author = {Tim Sheard},
	booktitle = {PLPV},
	keywords = {dependent-types provers},
	priority = {0},
	title = {Type-level Computation Using Narrowing in {$\Omega$}mega.},
	url = {http://web.cecs.pdx.edu/~sheard/papers/sheardPLPV.ps},
	year = {2006}
}

@inproceedings{ bracha04:pluggable,
    author = "Gilad Bracha",
    title = "Pluggable Type Systems",
    booktitle = "{OOPSLA} Workshop on Revival of Dynamic Languages",
    year = "2004",
    url = "http://pico.vub.ac.be/~wdmeuter/RDL04/papers/Bracha.pdf" }
    
    
@TechReport{LAMP-REPORT-2006-001,
   abstract    = {Scala fuses object-oriented and functional programming
                 in a statically typed programming language. It is aimed
                 at the construction of components and component systems.
                 This paper gives an overview of the Scala language for
                 readers who are familar with programming methods and
                 programming language design.},
   author      = {Odersky, Martin and Altherr, Philippe and Cremet,
                 Vincent and Dragos, Iulian and Dubochet, Gilles and Emir,
                 Burak and McDirmid, Sean and Micheloud, St\'ephane and
                 Mihaylov, Nikolay and Schinz, Michel and Spoon, Lex and
                 Stenman, Erik and Zenger, Matthias},
   details     = {http://infoscience.epfl.ch/search.py?recid=85634},
   documenturl = {http://infoscience.epfl.ch/getfile.py?recid=85634&mode=best},
   keywords    = {components; programming language design; type systems;
                 web services; functional programming; object-oriented
                 programming; XML processing},
   title       = {An {O}verview of the {S}cala {P}rogramming {L}anguage (2. Edition)},
   unit        = {LAMP},
   year        = 2006
}


@inproceedings{HList-HW04,
 author = {Oleg Kiselyov and Ralf L{\"a}mmel and Keean Schupke},
 title = "{Strongly typed heterogeneous collections}",
 booktitle = "{Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell}",
 year = {2004},
 isbn = {1-58113-850-4},
 pages = {96--107},
 location = {Snowbird, Utah, USA},
 doi = {http://doi.acm.org/10.1145/1017472.1017488},
 publisher = {ACM Press},
}
@unpublished{Altherr07:fgjomega,
  author = {Philippe Altherr and Vincent Cremet},
  title = {Adding Type Constructor Parameterization to {J}ava},
  note = {Accepted to the workshop on Formal Techniques for {J}ava-like Programs (FTfJP'07) at the European Conference on Object-Oriented Programming (ECOOP)},
  year = 2007,
}
@article{DBLP:journals/toplas/IgarashiPW01,
  author    = {Atsushi Igarashi and
               Benjamin C. Pierce and
               Philip Wadler},
  title     = {Featherweight {J}ava: a minimal core calculus for {J}ava and
               GJ},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {23},
  number    = {3},
  year      = {2001},
  pages     = {396-450},
  ee        = {http://doi.acm.org/10.1145/503502.503505},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/OderskyCRZ03,
  author    = {Martin Odersky and
               Vincent Cremet and
               Christine R{\"o}ckl and
               Matthias Zenger},
  title     = {A Nominal Theory of Objects with Dependent Types},
  booktitle = {ECOOP},
  year      = {2003},
  pages     = {201-224},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article
{\&}issn=0302-9743{\&}volume=2743{\&}spage=201},
  crossref  = {DBLP:conf/ecoop/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2003,
  editor    = {Luca Cardelli},
  title     = {ECOOP 2003 - Object-Oriented Programming, 17th European
               Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2743},
  year      = {2003},
  isbn      = {3-540-40531-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/mfcs/CremetGLO06,
  author    = {Vincent Cremet and
               Fran\c{c}ois Garillot and
               Sergue\"{\i} Lenglet and
               Martin Odersky},
  title     = {A Core Calculus for {S}cala Type Checking},
  booktitle = {MFCS},
  year      = {2006},
  pages     = {1-23},
  ee        = {http://dx.doi.org/10.1007/11821069_1},
  crossref  = {DBLP:conf/mfcs/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/mfcs/2006,
  editor    = {Rastislav Kralovic and
               Pawel Urzyczyn},
  title     = {Mathematical Foundations of Computer Science 2006, 31st
               International Symposium, MFCS 2006, Star{\'a} Lesn{\'a},
               Slovakia, August 28-September 1, 2006, Proceedings},
  booktitle = {MFCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4162},
  year      = {2006},
  isbn      = {3-540-37791-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/Cardelli88,
  author    = {Luca Cardelli},
  title     = {Structural Subtyping and the Notion of Power Type},
  booktitle = {POPL},
  year      = {1988},
  pages     = {70-79},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/tcs/PierceS97,
  author    = {Benjamin C. Pierce and
               Martin Steffen},
  title     = {Higher-Order Subtyping},
  journal   = {Theor. Comput. Sci.},
  volume    = {176},
  number    = {1-2},
  year      = {1997},
  pages     = {235-282},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(96)00096-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/CompagnoniG03,
  author    = {Adriana B. Compagnoni and
               Healfdene Goguen},
  title     = {Typed operational semantics for higher-order subtyping},
  journal   = {Inf. Comput.},
  volume    = {184},
  number    = {2},
  year      = {2003},
  pages     = {242-297},
  ee        = {http://dx.doi.org/10.1016/S0890-5401(03)00062-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/oopsla/UngarS87,
  author    = {David Ungar and
               Randall B. Smith},
  title     = {Self: The Power of Simplicity},
  booktitle = {OOPSLA},
  year      = {1987},
  pages     = {227-242},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/BruceOW98,
  author    = {Kim B. Bruce and
               Martin Odersky and
               Philip Wadler},
  title     = {A Statically Safe Alternative to Virtual Types},
  booktitle = {ECOOP},
  year      = {1998},
  pages     = {523-549},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1445/
14450523.htm},
  crossref  = {DBLP:conf/ecoop/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/1998,
  editor    = {Eric Jul},
  title     = {ECCOP'98 - Object-Oriented Programming, 12th European
Conference,
               Brussels, Belgium, July 20-24, 1998, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1445},
  year      = {1998},
  isbn      = {3-540-64737-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/ThorupT99,
  author    = {Kresten Krab Thorup and
               Mads Torgersen},
  title     = {Unifying Genericity - Combining the Benefits of Virtual
               Types and Parameterized Classes},
  booktitle = {ECOOP},
  year      = {1999},
  pages     = {186-204},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1628/
16280186.htm},
  crossref  = {DBLP:conf/ecoop/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/1999,
  editor    = {Rachid Guerraoui},
  title     = {ECCOP'99 - Object-Oriented Programming, 13th European
Conference,
               Lisbon, Portugal, June 14-18, 1999, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1628},
  year      = {1999},
  isbn      = {3-540-66156-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/Ernst01,
  author    = {Erik Ernst},
  title     = {Family Polymorphism},
  booktitle = {ECOOP},
  year      = {2001},
  pages     = {303-326},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2072/
20720303.htm},
  crossref  = {DBLP:conf/ecoop/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2001,
  editor    = {J{\o}rgen Lindskov Knudsen},
  title     = {ECOOP 2001 - Object-Oriented Programming, 15th European
               Conference, Budapest, Hungary, June 18-22, 2001, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2072},
  year      = {2001},
  isbn      = {3-540-42206-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/jmlc/Ernst06,
  author    = {Erik Ernst},
  title     = {Reconciling Virtual Classes with Genericity},
  booktitle = {JMLC},
  year      = {2006},
  pages     = {57-72},
  ee        = {http://dx.doi.org/10.1007/11860990_5},
  crossref  = {DBLP:conf/jmlc/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/jmlc/2006,
  editor    = {David E. Lightfoot and
               Clemens A. Szyperski},
  title     = {Modular Programming Languages, 7th Joint Modular Languages
               Conference, JMLC 2006, Oxford, UK, September 13-15, 2006,
               Proceedings},
  booktitle = {JMLC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4228},
  year      = {2006},
  isbn      = {3-540-40927-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/ErnstOC06,
  author    = {Erik Ernst and
               Klaus Ostermann and
               William R. Cook},
  title     = {A virtual class calculus},
  booktitle = {POPL},
  year      = {2006},
  pages     = {270-282},
  ee        = {http://doi.acm.org/10.1145/1111037.1111062},
  crossref  = {DBLP:conf/popl/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/popl/2006,
  editor    = {J. Gregory Morrisett and
               Simon L. Peyton Jones},
  title     = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on
               Principles of Programming Languages, POPL 2006, Charleston,
               South Carolina, USA, January 11-13, 2006},
  booktitle = {POPL},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-027-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/aosd/ClarkeDNW07,
  author    = {Dave Clarke and
               Sophia Drossopoulou and
               James Noble and
               Tobias Wrigstad},
  title     = {Tribe: a simple virtual class calculus},
  booktitle = {AOSD},
  year      = {2007},
  pages     = {121-134},
  ee        = {http://doi.acm.org/10.1145/1218563.1218578},
  crossref  = {DBLP:conf/aosd/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aosd/2007,
  editor    = {Brian M. Barry and
               Oege de Moor},
  title     = {Proceedings of the 6th International Conference on Aspect-
Oriented
               Software Development, AOSD 2007, Vancouver, British Columbia,
               Canada, March 12-16, 2007},
  booktitle = {AOSD},
  publisher = {ACM},
  year      = {2007},
  isbn      = {1-59593-615-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/WrightF94,
  author    = {Andrew K. Wright and
               Matthias Felleisen},
  title     = {A Syntactic Approach to Type Soundness},
  journal   = {Inf. Comput.},
  volume    = {115},
  number    = {1},
  year      = {1994},
  pages     = {38-94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/programm/Reynolds74,
  author    = {John C. Reynolds},
  title     = {Towards a theory of type structure},
  booktitle = {Symposium on Programming},
  year      = {1974},
  pages     = {408-423},
  crossref  = {DBLP:conf/programm/1974},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/programm/1974,
  editor    = {Bernard Robinet},
  title     = {Programming Symposium, Proceedings Colloque sur la
Programmation,
               Paris, France, April 9-11, 1974},
  booktitle = {Symposium on Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {19},
  year      = {1974},
  isbn      = {3-540-06859-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/BruceMM90,
  author    = {Kim B. Bruce and
               Albert R. Meyer and
               John C. Mitchell},
  title     = {The Semantics of Second-Order Lambda Calculus},
  journal   = {Inf. Comput.},
  volume    = {85},
  number    = {1},
  year      = {1990},
  pages     = {76-134},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/edbt/Cardelli88,
  author    = {Luca Cardelli},
  title     = {Types for Data-Oriented Languages},
  booktitle = {EDBT},
  year      = {1988},
  pages     = {1-15},
  ee        = {db/conf/edbt/Cardelli88.html},
  crossref  = {DBLP:conf/edbt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/edbt/88,
  editor    = {Joachim W. Schmidt and
               Stefano Ceri and
               Michele Missikoff},
  title     = {Advances in Database Technology - EDBT'88, Proceedings of
               the International Conference on Extending Database Technology,
               Venice, Italy, March 14-18, 1988},
  booktitle = {EDBT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {303},
  year      = {1988},
  isbn      = {3-540-19074-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/tcs/PierceS97,
  author    = {Benjamin C. Pierce and
               Martin Steffen},
  title     = {Higher-Order Subtyping},
  journal   = {Theor. Comput. Sci.},
  volume    = {176},
  number    = {1-2},
  year      = {1997},
  pages     = {235-282},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(96)00096-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/CompagnoniG03,
  author    = {Adriana B. Compagnoni and
               Healfdene Goguen},
  title     = {Typed operational semantics for higher-order subtyping},
  journal   = {Inf. Comput.},
  volume    = {184},
  number    = {2},
  year      = {2003},
  pages     = {242-297},
  ee        = {http://dx.doi.org/10.1016/S0890-5401(03)00062-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/Cardelli88,
  author    = {Luca Cardelli},
  title     = {Structural Subtyping and the Notion of Power Type},
  booktitle = {POPL},
  year      = {1988},
  pages     = {70-79},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/oopsla/BrachaOSW98,
  author    = {Gilad Bracha and
               Martin Odersky and
               David Stoutamire and
               Philip Wadler},
  title     = {Making the Future Safe for the Past: Adding Genericity to
               the {J}ava Programming Language},
  booktitle = {OOPSLA},
  year      = {1998},
  pages     = {183-200},
  ee        = {http://doi.acm.org/10.1145/286936.286957},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/toplas/IgarashiPW01,
  author    = {Atsushi Igarashi and
               Benjamin C. Pierce and
               Philip Wadler},
  title     = {Featherweight {J}ava: a minimal core calculus for {J}ava and
               GJ},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {23},
  number    = {3},
  year      = {2001},
  pages     = {396-450},
  ee        = {http://doi.acm.org/10.1145/503502.503505},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/FlattKF98,
  author    = {Matthew Flatt and
               Shriram Krishnamurthi and
               Matthias Felleisen},
  title     = {Classes and Mixins},
  booktitle = {POPL},
  year      = {1998},
  pages     = {171-183},
  ee        = {http://doi.acm.org/10.1145/268946.268961},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/mfcs/CremetGLO06,
  author    = {Vincent Cremet and
               Fran\c{c}ois Garillot and
               Sergue\"{\i} Lenglet and
               Martin Odersky},
  title     = {A Core Calculus for {S}cala Type Checking},
  booktitle = {MFCS},
  year      = {2006},
  pages     = {1-23},
  ee        = {http://dx.doi.org/10.1007/11821069_1},
  crossref  = {DBLP:conf/mfcs/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/mfcs/2006,
  editor    = {Rastislav Kralovic and
               Pawel Urzyczyn},
  title     = {Mathematical Foundations of Computer Science 2006, 31st
               International Symposium, MFCS 2006, Star{\'a} Lesn{\'a},
               Slovakia, August 28-September 1, 2006, Proceedings},
  booktitle = {MFCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4162},
  year      = {2006},
  isbn      = {3-540-37791-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/scp/AbadiC95,
  author    = {Mart\'{\i}n Abadi and
               Luca Cardelli},
  title     = {A Theory of Primitive Objects: Second-Order Systems},
  journal   = {Sci. Comput. Program.},
  volume    = {25},
  number    = {2-3},
  year      = {1995},
  pages     = {81-116},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/AbadiC96,
  author    = {Mart\'{\i}n Abadi and
               Luca Cardelli},
  title     = {A Theory of Primitive Objects: Untyped and First-Order Systems},
  journal   = {Inf. Comput.},
  volume    = {125},
  number    = {2},
  year      = {1996},
  pages     = {78-102},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/OderskyCRZ03,
  author    = {Martin Odersky and
               Vincent Cremet and
               Christine R{\"o}ckl and
               Matthias Zenger},
  title     = {A Nominal Theory of Objects with Dependent Types},
  booktitle = {ECOOP},
  year      = {2003},
  pages     = {201-224},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article
{\&}issn=0302-9743{\&}volume=2743{\&}spage=201},
  crossref  = {DBLP:conf/ecoop/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2003,
  editor    = {Luca Cardelli},
  title     = {ECOOP 2003 - Object-Oriented Programming, 17th European
               Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2743},
  year      = {2003},
  isbn      = {3-540-40531-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/flops/SulzmannWS06,
  author    = {Martin Sulzmann and
               Jeremy Wazny and
               Peter J. Stuckey},
  title     = {A Framework for Extended Algebraic Data Types},
  booktitle = {FLOPS},
  year      = {2006},
  pages     = {47-64},
  ee        = {http://dx.doi.org/10.1007/11737414_5},
  crossref  = {DBLP:conf/flops/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/flops/2006,
  editor    = {Masami Hagiya and
               Philip Wadler},
  title     = {Functional and Logic Programming, 8th International Symposium,
               FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  booktitle = {FLOPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3945},
  year      = {2006},
  isbn      = {3-540-33438-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/oopsla/AndreaeNMM06,
  author    = {Chris Andreae and
               James Noble and
               Shane Markstrum and
               Todd D. Millstein},
  title     = {A framework for implementing pluggable type systems},
  booktitle = {OOPSLA},
  year      = {2006},
  pages     = {57-74},
  ee        = {http://doi.acm.org/10.1145/1167473.1167479},
  crossref  = {DBLP:conf/oopsla/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/oopsla/2006,
  editor    = {Peri L. Tarr and
               William R. Cook},
  title     = {Proceedings of the 21th Annual ACM SIGPLAN Conference on
               Object-Oriented Programming, Systems, Languages, and
Applications,
               OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  booktitle = {OOPSLA},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-348-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/fpca/CanningCHOM89,
  author    = {Peter S. Canning and
               William R. Cook and
               Walter L. Hill and
               Walter G. Olthoff and
               John C. Mitchell},
  title     = {F-Bounded Polymorphism for Object-Oriented Programming},
  booktitle = {FPCA},
  year      = {1989},
  pages     = {273-280},
  ee        = {http://doi.acm.org/10.1145/99370.99392},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}